Michael Thomas

Results: 946



#Item
31

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨uller Institute of Information Systems Vienna University of Technology Favoritenstrass

Add to Reading List

Source URL: www.peterschueller.com

- Date: 2012-11-15 13:02:25
    32

    Pushing Efficient Evaluation of HEX Programs by Modular Decomposition Thomas Eiter Michael Fink Thomas Krennwallner Giovambattista Ianni

    Add to Reading List

    Source URL: www.peterschueller.com

    - Date: 2012-11-15 13:02:25
      33

      Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context Systems∗ Peter Sch¨uller and Thomas Eiter and Michael Fink (Faculty Mentors) Institute of Information Systems Vienna University of Tec

      Add to Reading List

      Source URL: www.peterschueller.com

      - Date: 2012-11-15 13:02:25
        34

        Towards a Policy Language for Managing Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

        Add to Reading List

        Source URL: www.peterschueller.com

        - Date: 2012-11-15 13:02:25
          35

          Towards Diagnosing Inconsistency in Nonmonotonic Multi-Context Systems? Thomas Eiter, Michael Fink, Peter Sch¨ uller, and Antonius Weinzierl Institute of Information Systems Technische Universit¨

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2009-12-04 12:29:23
            36

            Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

            Add to Reading List

            Source URL: www.isf.cs.tu-bs.de

            - Date: 2016-08-15 09:53:47
              37

              Scientific Collaboration and Collective Knowledge Editors: Thomas Boyer-Kassem, Conor Mayo-Wilson and Michael Weisberg. Forthcoming at Oxford University Press. Book Summary In 2001, nearly three thousand scientists coaut

              Add to Reading List

              Source URL: thomasboyerkassem.yolasite.com

              - Date: 2015-03-06 07:56:04
                38

                Describing Appliance User Interfaces Abstractly with XML Jeffrey Nichols*, Brad A. Myers*, Kevin Litwack*, Michael Higgins†, Joseph Hughes†, Thomas K. Harris* School of Computer Science Carnegie Mellon University Pit

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2004-03-24 09:37:18
                  39

                  Finding Explanations of Inconsistency in Multi-Context Systems Thomas Eiter Michael Fink

                  Add to Reading List

                  Source URL: www.peterschueller.com

                  - Date: 2012-11-15 13:02:25
                    40

                    Towards a Policy Language for Managing Inconsistency in Multi-Context Systems? Thomas Eiter1 , Michael Fink1 , Giovambattista Ianni2 , and Peter Sch¨uller1 1 2

                    Add to Reading List

                    Source URL: www.peterschueller.com

                    - Date: 2012-11-15 13:02:25
                      UPDATE